$\forall$$n$:$\mathbb{N}$. upto($n$) $=$ nil $\in$ $\mathbb{Z}$ List $\Leftrightarrow$ $n$ $=$ 0 $\in$ $\mathbb{Z}$